261. Abelian varieties
پدیدآورنده : Lang, Serge
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Abelian groups,، Logic, Symbolic and mathematical
رده :
QA
171
.
L28
262. About thinking
پدیدآورنده : W. Ward Fearnside
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Logic,Critical thinking
رده :
BC
,
71
,.
F4
,
1996
263. Abstract algebraic logic : an introductory textbook
پدیدآورنده : Font, Josep Maria, 4591-
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Algebraic logic
رده :
QA
10
.
F6
2016
264. Abstract set theory
پدیدآورنده :
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Logic, symbolic and mathematical,Algebra, abstract
رده :
512
.
8
Fr-A
265. Acceptable premises :
پدیدآورنده : James B. Freeman.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic.,Argumentatieleer.,Logic.,Logik,Logique.,PHILOSOPHY-- Logic.,Vooronderstellingen.
رده :
BC71
.
F734
2005eb
266. Acting and Reflecting :
پدیدآورنده : edited by Wilfried Sieg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
267. Actuality, Possibility, and Worlds
پدیدآورنده : \ Alexander Robert Pruss
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Modality (Logic),منطق موجهات,a05,a05,Modality (Logic) -- History. ,Possibility -- Psychological aspects.,منطق موجهات -- تاریخ,امکان -- جنبه های روانشناسی
رده :
BC
199
.
P7A25
2011
E-Book
,
268. Actuality, possibility and worlds /
پدیدآورنده : Alexander Robert Pruss
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Modality (Logic),Possibility
رده :
BD331
.
P78
2011
269. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
رده :
E-BOOK
270. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
رده :
E-BOOK
271. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
رده :
QA
,
9
.
54
,.
P64
,
2005
272. Adaptive Resonance Theory Microchips
پدیدآورنده : by Teresa Serrano-Gotarredona, Bernabé Linares-Barranco, Andreas G. Andreou.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer engineering.,Engineering.,Logic, Symbolic and mathematical.
273. Adaptive thinking
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Reasoning. ; Thought and thinking. ; Logic. ;
274. Adaptive thinking
پدیدآورنده : / Gerd Gigerenzer
کتابخانه: Central Library of University of Social Welfare and Rehabilitation Sciences (Tehran)
موضوع : Reasoning,Thought and thinking,Logic
رده :
BC177
.
G53
2000
275. Adaptive thinking
پدیدآورنده : / Gerd Gigerenzer
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Reasoning.,Thought and thinking.,Logic.
رده :
BC
,
177
,.
G53
,
2000
276. Adaptive thinking
پدیدآورنده : / Gerd Gigerenzer
کتابخانه: Razi Psychiatric Center Library (Tehran)
موضوع : Reasoning,Thought and thinking,Logic
رده :
BC177
.
G53
2000
277. Adiabatic logic
پدیدآورنده : / Philip Teichmann
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Logic design.,Adiabatic invariants.
رده :
TK7868
.
L6T35
2012
278. #Admissibility of logical inference rules
پدیدآورنده : #Vladimir V. Rybakov
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Logic, Symbolic and mathematical ،Inference
رده :
#
QA
،#.
R986
،#
1997
279. Admissibility of logical inference rules
پدیدآورنده : Rybakov, Vladimir Vladimir
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Logic, Symbolic and mathematical , Inference
رده :
QA
9
.
R986
1997
280. Admissibility of logical inference rules
پدیدآورنده : Rybakov, Vladimir V. )Vladimir Vladimir(
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Logic, Symbolic and mathematical,، Inference
رده :
QA
9
.
R986
1997
